trait A { def a = 1 }